Fighting the State
نویسندگان
چکیده
منابع مشابه
Behavior Protocols Verification: Fighting State Explosion
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (state explosion). In this paper, we present a new representation of state spaces suitable for implementing operations upon behavior protocols of software components [1]. The proposed representation is linear in length...
متن کاملFighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner’s point of view. We provide a systematic overview of techniques for fighting state space explosion and we ana...
متن کاملFighting the State Explosion Problem in Component Protocols
Title: Fighting the state explosion problem in component protocols Author: Viliam Holub email: [email protected] phone: +420 2 2191 4235 Department: Department of Software Engineering Faculty of Mathematics and Physics Charles University in Prague, Czech Republic Advisor: Prof. Ing. Frantǐsek Plášil, DrSc. email: [email protected] phone: +420 2 2191 4266 Mailing address (both Author ...
متن کاملFighting poverty, fighting AIDS.
J effrey sachs is an economist, not an evangelist. But give the man 10 minutes behind a microphone, and a scholarly symposium starts to feel like a revival meeting. “Ladies and gentlemen,” he tells a hushed hall after describing how AIDS sufferers die in Malawi for want of $1-a-day drugs, “this plague is exploding. Its consequences will make the world quake. Rich countries could stop the devast...
متن کاملFighting the Dengue Virus
The incidence of dengue has been on the upsurge in the last decade. It has affected around one-third of the world's population living in endemic areas. It can be asymptomatic or may present with some specific symptoms. No control measures have proven beneficial to decrease the prevalence of this disease. The emergence of dengue vaccine has been a revolutionary hope in the future of patients aff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Development and Change
سال: 2019
ISSN: 0012-155X,1467-7660
DOI: 10.1111/dech.12502